Practical Alloy: A hands-on guide to formal software design

  • 2025-07-05
  • 저자: Alcino Cunha, Nuno Macedo, Julien Brunel, David Chemouil

Alloy Analyzer version 6을 다루는 책.

practicalalloy.github.io

2025 © ak